Jean-Louis Boulanger

1) CENELEC 50128 and IEC 62279 standards

Author
Boulanger, Jean-Louis
Series
Control systems and industrial engineering
Publisher
iSTE/Wiley
Pub. Date
2015.
Language
English

2) Safety management for software-based equipment

Author
Boulanger, Jean-Louis
Series
Focus series in computer engineering and IT
Publisher
ISTE Ltd./John Wiley and Sons Inc
Pub. Date
2013
Language
English

3) Formal methods applied to complex systems

Series
Computer engineering
Publisher
ISTE
Pub. Date
2014.
Language
English

4) Formal methods applied to complex systems: implementation of the B method

Series
Computer engineering
Publisher
iSTE
Pub. Date
2014.
Language
English

5) Static analysis of software: the abstract interpretation

Publisher
Wiley
Pub. Date
2012
Language
English

6) Safety of computer architectures

Publisher
ISTE
Pub. Date
2010
Language
English

7) Formal method: industrial use from model to the code

Series
Industrial implementation of formal methods
Publisher
Wiley
Pub. Date
2012
Language
English